<?php
(int)$a;